compound proposition

См. также в других словарях:

• Proposition 31 — is a 1968 novel written by Robert Rimmer that tells the story of two middle class, suburban California couples who turn to a polyamorous relationship to deal with their multiple infidelities as an alternative to divorce. The novel is written as a …   Wikipedia

• Proposition — This article is about the term in logic and philosophy. For other uses, see Proposition (disambiguation). In logic and philosophy, the term proposition refers to either (a) the content or meaning of a meaningful declarative sentence or (b) the… …   Wikipedia

• Proposition relative — En grammaire, la proposition relative est une proposition subordonnée complexe servant le plus souvent d expansion nominale. Dotée obligatoirement d un verbe, elle est reliée à sa proposition principale (le cas échéant) au moyen d un pronom… …   Wikipédia en Français

• categorical proposition — In syllogistic, a proposition in which the predicate is affirmed or denied of all or part of the subject. Thus, categorical propositions are of four basic forms: Every S is P, No S is P, Some S is P, and Some S is not P. These are designated by… …   Universalium

• Singular proposition — Singular Sin gu*lar (s[i^][ng] g[ u]*l[ e]r), a. [OE. singuler, F. singulier, fr. L. singularius, singularis, fr. singulus single. See {Single}, a.] 1. Separate or apart from others; single; distinct. [Obs.] Bacon. [1913 Webster] And God forbid… …   The Collaborative International Dictionary of English

• Heterocyclic compound — Heterocyclic compounds are organic compounds containing at least one atom of carbon, and at least one element other than carbon, such as sulfur, oxygen or nitrogen within a ring structure .cite book author = Eicher, T.; Hauptmann, S. title = The… …   Wikipedia

• Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… …   Wikipedia

• Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… …   Wikipedia

• truth-value — /troohth val yooh/, n. Logic. the truth or falsehood of a proposition: The truth value of 2 + 2 = 5 is falsehood. [1915 20] * * * ▪ logic       in logic, truth (T or 1) or falsity (F or 0) of a given proposition or statement. Logical connectives …   Universalium

• Transposition (logic) — In the methods of deductive reasoning in classical logic, transposition is the rule of inference that permits one to infer from the truth of A implies B the truth of Not B implies not A , and conversely . [Brody, Bobuch A. Glossary of Logical… …   Wikipedia

• propositional calculus — Logic. See sentential calculus. [1900 05] * * * Formal system of propositions and their logical relationships. As opposed to the predicate calculus, the propositional calculus employs simple, unanalyzed propositions rather than predicates as its… …   Universalium